// Copyright (c) Runtime Verification, Inc. All Rights Reserved.
package org.kframework.unparser;

/**
 * @author Denis Bogdanas Date: 10/9/13
 */
public enum ColorSetting {
  OFF,
  ON,
  EXTENDED
}
